1. A tale of discrete mathematics
Author: Joseph Khoury.,Khoury, Joseph,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Combinatorial analysis,Set theory,Algebraic logic,Textbooks.,Textbooks.,Textbooks.,Textbooks.
2. Algebraic analysis of basic propositional logic
Author: by: Majid Alizadeh,^AAlizadeh, Majid
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Logic, Symbolic and mathematical,Algebraic logic,Interpolation,Amalgamation
3. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
10
.
I5
1988
4. Algebraic logic
Author: Halmos, Paul R.)Paul Richard(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebraic logic,، Logic Symbolic and mathematical
Classification :
QA
266
.
H3
5. An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, Donald W.
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. An algebraic introduction tomathematical logic
Author: Barnes, Donald W.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Algebraic logic
Classification :
QA
9
.
B27
7. Geometry of Subanalytic and Semialgebraic Sets
Author: by Masahiro Shiota.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic topology.,Geometry, Algebraic.,Geometry.,Logic, Symbolic and mathematical.,Mathematics.,Topology.
8. Logic, language, information, and computation
Author: \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
Classification :
P
39
.
L644
2015
E-Book
,
9. Mathematical logic and algebra : collected papers dedicated to the 100th birthday of academician petr Sergeevich Novikov
Author: Translated and published by Maik Nauka/Interperiodica Publishing
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebraic logic
Classification :
QA
1
.
P736
Vol
.
242
10. Selected topics in algebra and its interrelation with logic, number theory, and algebric geometry
پدیدآورنده : Bucur, Ionel
موضوع : ، Algebra,، Geometry, Algebraic,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. The algebraic theory of switching circuits
Author: Moisil, Grigore C.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Switching theory,، Logic, Symbolic and mathematical,، Algebraic fields,، Field, Albebraic
Classification :
QA
401
.
M5513
1969
12. The algebraic theory of switching circuits,
Author: by Gr. C. Moisil
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic fields,Logic, Symbolic and mathematical,Switching theory
13. Toposes, algebraic geometry and logic
Author: / [by] I. Bucur... [et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Categories (Mathematics) -- Congresses,Geometry, Algebraic -- Congresses,Logic, Symbolic and mathematical -- Congresses,Toposes
Classification :
QA
169
.
T6
1972
14. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
Author: I. Bucur ... ]et al.[; edited by F. W. Lawvere
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
Classification :
QA
3
.
L28
Vol
.
274
